81. Delta-4:
پدیدآورنده: edited by David Powell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Logic design.
رده :
QA76
.
9
.
D5
E358
1991
82. Design Science at the Intersection of Physical and Virtual Design :
پدیدآورنده: edited by Jan Brocke, Riitta Hekkala, Sudha Ram, Matti Rossi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information systems.,Software engineering.
رده :
QA76
.
9
.
S88
E358
2013
83. Developments in Language Theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic design. ; Natural language processing (Computer science). ; Database management. ; Artificial intelligence. ; Computer logic. ; Computer science. ; Software engineering. ; Logics and Meanings of Programs. ;
84. Digital Circuit Design for Computer Science Students :
پدیدآورنده: by Niklaus Wirth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronics.,Engineering.,Logic design.
رده :
TK7888
.
4
B965
1995
85. Distributed Environments :
پدیدآورنده: edited by Yutaka Ohno, Toshiko Matsuda.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.
رده :
QA76
.
76
.
D47
E358
1991
86. Distributed programming : theory and practice
پدیدآورنده: / A. Udaya Shankar
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع: Computer science,Software engineering,Logic design
رده :
QA76
.
6
87. ESPRIT '90 :
پدیدآورنده: Commission of the European Communities. Directorate-General for Telecommunications, Information Industries, and Innovation.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Computer science.
88. Encyclopedia of Computer Science and Technology /
پدیدآورنده: edited by Phillip A. Laplante.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Information technology, Encyclopedias.,Computation.,Networks.,Software Engineering & Systems Development.,Information technology.
رده :
T58
.
5
.
E53
2017
89. Encyclopedia of information technology curriculum integration [electronic resource]
پدیدآورنده: / [edited by] Lawrence A. Tomei
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Educational technology--Encyclopedias,Information technology--Encyclopedias,Education--Curricula--Encyclopedias
رده :
EB
,
LB1028
.
3
.
E63
2008
90. Engineering trustworthy software systems :
پدیدآورنده: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
91. Enterprise Information Systems II
پدیدآورنده: edited by Bernadette Sharp, Joaquim Filipe, José Cordeiro.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Software engineering.
رده :
T58
.
6
E358
2001
92. Forced migration, human rights and security /
پدیدآورنده: edited by Jane McAd
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
93. Formal Aspects of Component Software :
پدیدآورنده: edited by Corina S. Pasareanu, Gwen Salaün.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
94. Formal Engineering for Industrial Software Development :
پدیدآورنده: by Shaoying Liu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
B974
2004
95. Formal Methods in Programming and Their Applications :
پدیدآورنده: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1993
96. Formal aspects of component software :
پدیدآورنده: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
97. Formal methods and software engineering :
پدیدآورنده: Jing Sun, Meng Sun (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
98. Formal methods, foundations and applications :
پدیدآورنده: Adenilso Simao, Carroll Morgan (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2011
99. Formal modeling :
پدیدآورنده: Gul Agha, Olivier Danvy, José Meseguer. (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
رده :
QA76
.
9
.
F67
F67
2011
100. Formal modeling and analysis of timed systems :
پدیدآورنده: Uli Fahrenberg, Stavros Tripakis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2011
